|
|
|
| e-Pub |
Previous | 
Home
Section: Dissemination
Popularization
Internal or external Inria responsibilities
Éric Badouel is the co-director (with Moussa Lo, UGB, Saint-Louis du Sénégal) of LIRIMA, the Inria International Lab for Africa. He is scientific officer for the African and Middle-East region at Inria DPEI (European and International Partnership Department). He is member of the executive board of GIS SARIMA.
Articles and contents
-
Ocan Sankur published an article on formal verification for the Turkish Academy of Sciences: “How to verify computer systems on which our lives depend” on Nov. 2018.